A set of commands or instructions carried out by a program repeatedly until a certain condition is met.